<?php

class CampusPeer extends BaseCampusPeer
{
}
